1

Automation of printed-circuit design

Year:
1974
Language:
english
File:
PDF, 669 KB
english, 1974
2

Program testing technology based on specification language

Year:
1990
Language:
english
File:
PDF, 581 KB
english, 1990
3

Automatic generation of computer circuit tests

Year:
1976
Language:
english
File:
PDF, 646 KB
english, 1976
4

Tabular programs and discrete transformations. II

Year:
1978
Language:
english
File:
PDF, 732 KB
english, 1978
8

Tabular programs and discrete transducers. I

Year:
1978
Language:
english
File:
PDF, 719 KB
english, 1978
9

Optimization of cycle-free automata with a terminal state

Year:
1967
Language:
english
File:
PDF, 833 KB
english, 1967
10

On languages in countably generated semilattices

Year:
1996
Language:
english
File:
PDF, 159 KB
english, 1996
11

Parallelization of automata

Year:
1998
Language:
english
File:
PDF, 684 KB
english, 1998